Displaying results 1 - 10 / 18688
results / page
What publication information is included in the service?
Publication name
Authors
Publication channel
Year
Publications information icon

A linear programming model of electric power production

Tamminen, Eero
Valtion teknillinen tutkimuskeskus. Tutkimuksia - Research Reports1986Publications information icon

Logic programs with stable model semantics as a constraint programming paradigm

Peer-reviewed
Niemelä, I.
-1998Publications information icon

Bounded Model Checking, Answer Set Programming, and Fixed Points

Niemelä, Ilkka
International Workshop on Bounded Model Checking2006Publications information icon

An extended PRAM-NUMA model of computation for TCF programming

Peer-reviewed
Open access
Forsell, Martti; Leppänen, Ville
International Journal of Networking and Computing2013Publications information icon

An extended PRAM-NUMA model of computation for TCF programming

Peer-reviewed
DOI
10.1109/IPDPSW.2012.97
Forsell, Martti; Leppänen, V.
26th International Parallel and Distributed Processing Symposium, IPDPSW 20122012Publications information icon

Fast Dynamic Programming in Trees in the MPC Model

Peer-reviewed
Open access
DOI
10.1145/3558481.3591098
Gupta, Chetan; Latypov, Rustam; Maus, Yannic; Pai, Shreyas; Särkkä, Simo; Studený, Jan; Suomela, Juk...
Annual ACM Symposium on Parallelism in Algorithms and Architectures2023Publications information icon

A linear programming model of forest products industries

Tamminen, Eero; Forsström, Juha
Valtion teknillinen tutkimuskeskus. Tutkimuksia - Research Reports1988Publications information icon

Action-Oriented Programming Model: Collective Executions and Interactions in the Fog

Peer-reviewed
Open access
DOI
10.1016/j.jss.2019.110391
Mäkitalo, Niko; Aaltonen, Timo; Raatikainen, Mikko; Ometov, Aleksandr; Andreev, Sergey; Koucheryavy,...
Journal of systems and software2019Publications information icon

Answer Set Programming and Bounded Model Checking

Peer-reviewed
Heljanko, Keijo; Niemelä, Ilkka
AAAI PRESS2001Publications information icon

A linear programming energy and environment model for space heating

Forsström, Juha; Tamminen, Eero
Valtion teknillinen tutkimuskeskus. Tutkimuksia - Research Reports1990

A linear programming model of electric power production

1986

Logic programs with stable model semantics as a constraint programming paradigm

Peer-reviewed
1998

Bounded Model Checking, Answer Set Programming, and Fixed Points

2006

An extended PRAM-NUMA model of computation for TCF programming

Peer-reviewed
Open access
2013

An extended PRAM-NUMA model of computation for TCF programming

Peer-reviewed
DOI
10.1109/IPDPSW.2012.97
2012

Fast Dynamic Programming in Trees in the MPC Model

Peer-reviewed
Open access
DOI
10.1145/3558481.3591098
2023

A linear programming model of forest products industries

1988

Action-Oriented Programming Model: Collective Executions and Interactions in the Fog

Peer-reviewed
Open access
DOI
10.1016/j.jss.2019.110391
2019

Answer Set Programming and Bounded Model Checking

Peer-reviewed
2001

A linear programming energy and environment model for space heating

1990